Detection and resolution of aspect interactions

Aspect-Oriented Programming (AOP) promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is an important problem. Currently there is almost no support for the detection and resolution of such interactions. The programmer is responsible for identifying interactions between con icting aspects and implementing con ict resolution code. In this paper, we propose a solution to this problem based on a generic framework for AOP. The contributions are threefold: we present a formal and expressive crosscut language, two static con ict analyses and some linguistic support for con ict resolution. Key-words: Aspect-oriented programming, aspect interaction, static analysis, AspectJ